(declare-const in1 String)
(declare-const in2 String)
(assert (str.< in1 in2))
(assert (str.< in2 in1))
(check-sat)
